1

Inductive types and type constraints in the second-order lambda calculus

Année:
1991
Langue:
english
Fichier:
PDF, 902 KB
english, 1991